x86/cpuidle: identify a legitimate fallthrough case
authorAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 14 Apr 2015 12:59:37 +0000 (14:59 +0200)
committerJan Beulich <jbeulich@suse.com>
Tue, 14 Apr 2015 12:59:37 +0000 (14:59 +0200)
commit9bdea267f6d3c3bc127ccdcc1a3e7e167524b540
treea977c4ba67c5aee2997c8bd5cd26565e0e3a46e4
parentafaa5616f3da457109b37e59e3408dd325cc9e71
x86/cpuidle: identify a legitimate fallthrough case

to appease the Missing Break checker.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Coverity-id: 1291938
xen/arch/x86/acpi/cpu_idle.c